home *** CD-ROM | disk | FTP | other *** search
/ Languguage OS 2 / Languguage OS II Version 10-94 (Knowledge Media)(1994).ISO / language / prolog / readme < prev    next >
Text File  |  1994-09-01  |  2KB  |  58 lines
  1. These directories contain a public domain Prolog interpreter
  2. called Small Prolog version 2, by Henri de Feraudy.
  3.  
  4. files:
  5.  
  6. README - this file
  7.  
  8. src/
  9.     pp.c - simple pretty printer (compile apart).
  10.     pralloc.c -allocate structures
  11.     prassert.c - asserta etc... builtins
  12.     pratari.c - Atari specific code
  13.     pratari.mak - Atari makefile for Mark Williams C.
  14.     prbltin.c - most builtins
  15.     prbltin.h -include file for prbltin.c
  16.     prcnsult.c - code for consult builtin
  17.     prdebug.c - functions you might use for debugging
  18.     prerror.c - error message functions
  19.     prhash.c - build sybol table
  20.     prlex.h - used bu prparse.c and prscan.c
  21.     prlush.c - lush resolution algorithm
  22.     prlush.h - include file for prlush.c
  23.     prmain.c - starting point
  24.     prolog.h - configuation switches
  25.     prparse.c - parser
  26.     prprint.c -printer
  27.     prscan.c - lexical analysis
  28.     prsun.c - unix specific code that worked on a Sun workstation.
  29.     prtypes.h -type definitions
  30.     prunify.c - recursive unification algorithm, dereferencing 
  31.     makefile.tbc - makefile for Turbo C
  32.     quickc.mak -makefile for Quick C
  33.     zortech.mak -makefile for Zortech C
  34.     makefile : one of the makefiles
  35.     makefile.unx : a makefile for Sun OS 
  36.     pratari.mak - a makefile for mark williams C on Atari.
  37.     *.lnk - various link response files
  38.  
  39.     sprolog.inf - configuration file to override default memory consumption
  40.     sprolog.ini - file of useful predicates loaded when starting up
  41.  
  42. doc/
  43.     changes.91 - summary of recent changes
  44.     prmanual.txt - sort of manual
  45.     frmanual.txt - out of date French translation of prmanual.txt
  46.  
  47. examples/
  48.     verif.spr - helps you find bugs in sprolog programs
  49.     xread.spr - lets you read a list while retaining the variable names.
  50.     help.spr - load this and type (help)
  51.     exampl*.spr - example files that give you a taste of prolog.
  52.  
  53. junk/
  54.     sprolog.exe - compiled for MS DOS
  55.     sprolog.32e - a 32bit version for a 386 machine (gcc-386 used)
  56.     go32.exe - a Dos extender needed to run sprolog.32e
  57.  
  58.